521. Logic for mathematicians
پدیدآورنده :
کتابخانه: المكتبة المركزية بجامعة تبريز و مركز التوثيق والنشر (أذربایجان الشرقیة)
موضوع : Logic, Symbolic and mathematical
رده :
BC135
.
R58
522. Logic for mathematicians
پدیدآورنده : Rosser, John Barkley
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical
رده :
BC
135
.
R58
523. Logic for mathematicians
پدیدآورنده : Barkley J.Rosser
موضوع : Logic, Symbolic and mathematical
۳ نسخه از این کتاب در ۳ کتابخانه موجود است.
524. Logic for mathematics and computer science
پدیدآورنده : Stanley N. Burris
کتابخانه: كتابخانه مركزي و مركز اطلاع رساني دانشگاه شاهد (طهران)
موضوع : Logic, Symbolic and mathematical
رده :
QA
،
9
،.
B86
،
1998
525. Logic from A to Z
پدیدآورنده : Detlefsen, Michael
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Philosophy -- Encyclopedias ، Mathematics,Encyclopedias ، Logic, Symbolic and mathematical
رده :
QA
9
.
D474
1999
526. Logic in Tehran : proceedings of the Workshop and Conference on Logic, Algebra, and Arithmetic, held October 18-22, 2003
پدیدآورنده : edited by Ali Enayat, Iraj Kalantari, Mojtaba Moniri
کتابخانه: (طهران)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Arithmetic
رده :
QA
9
.
A1L44
Vol
.
26
527. Logic in algebraic form; Three languages and theories
پدیدآورنده : Craig, William
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، logic, Symbolic and mathematical,، Proof theory
رده :
QA
9
.
C7
528. Logic in computer science: proceedings: 16th Annual IEEE Symposium on Logic in Computer Science, 16-19 June 2001, Boston, Massachusetts
پدیدآورنده : sponsored by IEEE Computer Society Technical Committee on Mathematical Foundations of Computing
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Mathematics - Congresses ، Computer science,Congresses ، Logic, Symbolic and mathematical
رده :
QA
76
.
6
.
S9393
2001
529. Logic in elementary mathematics
پدیدآورنده : Exner, Robert M.
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Philosophy ، Mathematics,، Logic, Symbolic and mathematical
رده :
QA
9
.
E96
530. Logic in elementary mathematics
پدیدآورنده : Exner, Robert M
موضوع : ، Mathematics - phyilosophy,، Logic, symbolic and mathematical
۴ نسخه از این کتاب در ۴ کتابخانه موجود است.
531. Logic in elementary mathematics
پدیدآورنده : Exner, Robert M.
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : ، Mathematics - Philosophy,، Logic, Symbolic and mathematical
رده :
QA
9
.
E96
532. Logic in mathematics: an elementary approach
پدیدآورنده : Hallerberg, Arthur Edward
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : ، Logic, Symbolic and mathematical
رده :
QA
9
.
H29
533. Logic, methodology and philosophy of science
پدیدآورنده : / Edited by Yehoshua Bar-Hillel
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (طهران)
موضوع :
رده :
BC135
،.
I58
1964
534. Logic, methodology and philosophy of science IV. Proceedings
پدیدآورنده : Ed. by Patrick Suppes )a. o.(
کتابخانه: المکتبه المرکزيه ومرکز التوثیق بجامعة الشهید باهنر فی کرمان (کرمان)
موضوع : Congresses ، Logic, Symbolic and mathematical,Congresses ، Methodology,Congresses ، Science - Philosophy
رده :
BC
135
.
I55
1971
535. Logic, methodology and philosophy of science IX : proceedings of the Ninth International Congress of Logic, Methodology, and Philosophy of Science, Uppsala, Sweden, August 7-14, 1991
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه صنعتي شريف (طهران)
موضوع : ، Science-- Philosophy-- Congresses,، Science-- Methodology-- Congresses,، Logic, Symbolic and mathematical-- Congresses
رده :
Q
174
.
I58
1991
536. Logic, methodology and philosophy of science; proceedings
پدیدآورنده : International Congress for Logic, Methodology, and Philosophy of Science )2nd: 4691: Jerusalem(
موضوع : ، Logic, Symbolic and mathematical-- Congresses,، Science-- Methodology-- Congresses,، Science-- Philosophy-- Congresses
۲ نسخه از این کتاب در ۱ کتابخانه موجود است.
537. Logic, methodology, and philosophy of science VI :
پدیدآورنده : edited by L. Jonathan Cohen ... [et al.]
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical-- Congresses,Methodology-- Congresses,Science-- Philosophy-- Congresses
رده :
QA9
.
A1
I57
1979
538. Logic, methodology, and philosophy of science, VII :
پدیدآورنده : edited by Ruth Barcan Marcus, Georg J.W. Dorn, Paul Weingartner
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Logic, Symbolic and mathematical-- Congresses,Science-- Methodology-- Congresses,Science-- Philosophy-- Congresses
رده :
Q174
.
I58
1983
539. Logic, methodology and philosophy of science VII : Proceedings of the International Congress of Logic, Methodology, and Philosophy, Salzburg 1983
پدیدآورنده : edited by Ruth Barcan Marcus, Georg J. W. Dorn, Paul Weingarther
کتابخانه: (طهران)
موضوع : Congresses ، Science -- Philosophy,Congresses ، Science -- Methodology,Congresses ، Logic, Symbolic and mathematical
رده :
Q
174
.
I58
1983
540. Logic prepared the Mathematics Foundation Course Team
پدیدآورنده : Open University , Mathematics Foundation course Team
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Algebra, Boolean,، Logic Symbolic and Mathematical
رده :
QA
10
.
3
.
O64
